Introduction

This page summarizes the trophies won by the tools for LTLPlaceComparison. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for LTLPlaceComparison

We first consider separately the two types of models.

Trophies for the “Known” Models	Trophies for the “Surprise” Models
Neco 114 (points)

Global trophies for LTLPlaceComparison

For this trophy, we use the following formula: results on “Known” models + 2 x results on “Surprise” models.

Trophies for All Models

Neco 114 (points)